[INFO] cloning repository https://github.com/newca12/mrs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/newca12/mrs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnewca12%2Fmrs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnewca12%2Fmrs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1d4eef615aeef0647e5bf9df8cfbc814ccd1eb06
[INFO] testing newca12/mrs against master#cced03bfd61a304243a34504618ecec86c17063f for pr-154065-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnewca12%2Fmrs" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-1-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/newca12/mrs
[INFO] finished tweaking git repo https://github.com/newca12/mrs
[INFO] tweaked toml for git repo https://github.com/newca12/mrs written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/newca12/mrs on toolchain cced03bfd61a304243a34504618ecec86c17063f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/newca12/mrs already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pastey v0.2.3
[INFO] [stderr]   Downloaded wincode-derive v0.4.6
[INFO] [stderr]   Downloaded wincode v0.5.5
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.123
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.123
[INFO] [stderr]   Downloaded burn-wgpu v0.21.0
[INFO] [stderr]   Downloaded cubecl v0.10.0
[INFO] [stderr]   Downloaded burn v0.21.0
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.123
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.123
[INFO] [stderr]   Downloaded cubecl-wgpu v0.10.0
[INFO] [stderr]   Downloaded js-sys v0.3.100
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.73
[INFO] [stderr]   Downloaded web-sys v0.3.100
[INFO] [stderr]   Downloaded cubecl-runtime v0.10.0
[INFO] [stderr]   Downloaded enumset v1.1.13
[INFO] [stderr]   Downloaded enumset_derive v0.15.0
[INFO] [stderr]   Downloaded cubecl-zspace v0.10.0
[INFO] [stderr]   Downloaded cubecl-ir v0.10.0
[INFO] [stderr]   Downloaded tynm v0.2.0
[INFO] [stderr]   Downloaded cubecl-macros-internal v0.10.0
[INFO] [stderr]   Downloaded cubecl-common v0.10.0
[INFO] [stderr]   Downloaded float8 v0.7.0
[INFO] [stderr]   Downloaded float4 v0.2.0
[INFO] [stderr]   Downloaded oneshot v0.2.1
[INFO] [stderr]   Downloaded cubecl-macros v0.10.0
[INFO] [stderr]   Downloaded cubecl-std v0.10.0
[INFO] [stderr]   Downloaded stable-vec v0.4.2
[INFO] [stderr]   Downloaded cubecl-hip v0.10.0
[INFO] [stderr]   Downloaded cubecl-core v0.10.0
[INFO] [stderr]   Downloaded cubecl-opt v0.10.0
[INFO] [stderr]   Downloaded cubecl-cpp v0.10.0
[INFO] [stderr]   Downloaded cubecl-cuda v0.10.0
[INFO] [stderr]   Downloaded tracel-llvm-bundler v20.1.4-7
[INFO] [stderr]   Downloaded cubecl-cpu v0.10.0
[INFO] [stderr]   Downloaded cudarc v0.19.7
[INFO] [stderr]   Downloaded cubecl-hip-sys v7.2.5321100
[INFO] [stderr]   Downloaded liblzma v0.4.6
[INFO] [stderr]   Downloaded tracel-llvm v20.1.4-7
[INFO] [stderr]   Downloaded tracel-mlir-sys v20.1.4-7
[INFO] [stderr]   Downloaded tracel-mlir-rs-macros v20.1.4-7
[INFO] [stderr]   Downloaded constcat v0.6.1
[INFO] [stderr]   Downloaded tracel-mlir-rs v20.1.4-7
[INFO] [stderr]   Downloaded tracel-tblgen-rs v20.1.4-7
[INFO] [stderr]   Downloaded bindgen v0.71.1
[INFO] [stderr]   Downloaded comrak v0.39.1
[INFO] [stderr]   Downloaded sysinfo v0.38.4
[INFO] [stderr]   Downloaded liblzma-sys v0.4.6
[INFO] [stderr]   Downloaded text_placeholder v0.5.1
[INFO] [stderr]   Downloaded cubek v0.2.0
[INFO] [stderr]   Downloaded cubek-reduce v0.2.0
[INFO] [stderr]   Downloaded cubek-random v0.2.0
[INFO] [stderr]   Downloaded cubek-quant v0.2.0
[INFO] [stderr]   Downloaded cubek-fft v0.2.0
[INFO] [stderr]   Downloaded burn-cubecl v0.21.0
[INFO] [stderr]   Downloaded cubek-std v0.2.0
[INFO] [stderr]   Downloaded cubek-convolution v0.2.0
[INFO] [stderr]   Downloaded rand_distr v0.6.0
[INFO] [stderr]   Downloaded cubek-matmul v0.2.0
[INFO] [stderr]   Downloaded burn-std v0.21.0
[INFO] [stderr]   Downloaded burn-fusion v0.21.0
[INFO] [stderr]   Downloaded moddef v0.3.0
[INFO] [stderr]   Downloaded macerator-macros v0.1.5
[INFO] [stderr]   Downloaded burn-ir v0.21.0
[INFO] [stderr]   Downloaded macerator v0.3.3
[INFO] [stderr]   Downloaded burn-vision v0.21.0
[INFO] [stderr]   Downloaded cubek-attention v0.2.0
[INFO] [stderr]   Downloaded burn-backend v0.21.0
[INFO] [stderr]   Downloaded burn-cubecl-fusion v0.21.0
[INFO] [stderr]   Downloaded burn-tch v0.21.0
[INFO] [stderr]   Downloaded burn-tensor v0.21.0
[INFO] [stderr]   Downloaded torch-sys v0.22.0
[INFO] [stderr]   Downloaded time-core v0.1.9
[INFO] [stderr]   Downloaded time-macros v0.2.28
[INFO] [stderr]   Downloaded time v0.3.48
[INFO] [stderr]   Downloaded safetensors v0.3.3
[INFO] [stderr]   Downloaded bon v3.9.2
[INFO] [stderr]   Downloaded bon-macros v3.9.2
[INFO] [stderr]   Downloaded rstest v0.26.1
[INFO] [stderr]   Downloaded burn-train v0.21.0
[INFO] [stderr]   Downloaded rstest_macros v0.26.1
[INFO] [stderr]   Downloaded burn-optim v0.21.0
[INFO] [stderr]   Downloaded tch v0.22.0
[INFO] [stderr]   Downloaded futures-timer v3.0.4
[INFO] [stderr]   Downloaded burn-core v0.21.0
[INFO] [stderr]   Downloaded burn-derive v0.21.0
[INFO] [stderr]   Downloaded burn-dataset v0.21.0
[INFO] [stderr]   Downloaded gemm v0.19.0
[INFO] [stderr]   Downloaded burn-store v0.21.0
[INFO] [stderr]   Downloaded burn-ndarray v0.21.0
[INFO] [stderr]   Downloaded burn-flex v0.21.0
[INFO] [stderr]   Downloaded gemm-f64 v0.19.0
[INFO] [stderr]   Downloaded reborrow v0.5.5
[INFO] [stderr]   Downloaded pulp-wasm-simd-flag v0.1.0
[INFO] [stderr]   Downloaded gemm-f32 v0.19.0
[INFO] [stderr]   Downloaded gemm-c64 v0.19.0
[INFO] [stderr]   Downloaded burn-autodiff v0.21.0
[INFO] [stderr]   Downloaded burn-dispatch v0.21.0
[INFO] [stderr]   Downloaded burn-cpu v0.21.0
[INFO] [stderr]   Downloaded gemm-common v0.19.0
[INFO] [stderr]   Downloaded sysctl v0.6.0
[INFO] [stderr]   Downloaded dyn-stack v0.13.2
[INFO] [stderr]   Downloaded dyn-stack-macros v0.1.3
[INFO] [stderr]   Downloaded gemm-f16 v0.19.0
[INFO] [stderr]   Downloaded burn-rocm v0.21.0
[INFO] [stderr]   Downloaded atomic_float v1.1.0
[INFO] [stderr]   Downloaded safetensors v0.7.0
[INFO] [stderr]   Downloaded burn-cuda v0.21.0
[INFO] [stderr]   Downloaded burn-candle v0.21.0
[INFO] [stderr]   Downloaded tokenizers v0.22.2
[INFO] [stderr]   Downloaded pulp v0.22.2
[INFO] [stderr]   Downloaded gemm-c32 v0.19.0
[INFO] [stderr]   Downloaded textdistance v1.1.1
[INFO] [stderr]   Downloaded burn-nn v0.21.0
[INFO] [stderr]   Downloaded burn-router v0.21.0
[INFO] [stderr]   Downloaded candle-core v0.10.2
[INFO] [stderr]   Downloaded rayon-cond v0.4.0
[INFO] [stderr]   Downloaded monostate v0.1.18
[INFO] [stderr]   Downloaded monostate-impl v0.1.18
[INFO] [stderr]   Downloaded macro_rules_attribute v0.2.2
[INFO] [stderr]   Downloaded macro_rules_attribute-proc_macro v0.2.2
[INFO] [stderr]   Downloaded dary_heap v0.3.9
[INFO] [stderr]   Downloaded compact_str v0.9.1
[INFO] [stderr]   Downloaded cadical v0.1.16
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3e5446c7fb293c2adf302533eda8d1483a9d5c0d8b4d6cf0e648131330ee5eb4
[INFO] running `Command { std: "docker" "start" "-a" "3e5446c7fb293c2adf302533eda8d1483a9d5c0d8b4d6cf0e648131330ee5eb4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3e5446c7fb293c2adf302533eda8d1483a9d5c0d8b4d6cf0e648131330ee5eb4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3e5446c7fb293c2adf302533eda8d1483a9d5c0d8b4d6cf0e648131330ee5eb4", kill_on_drop: false }`
[INFO] [stdout] 3e5446c7fb293c2adf302533eda8d1483a9d5c0d8b4d6cf0e648131330ee5eb4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 293ec49faa0ee271df6567e0225745e7a7a78e1ebf90131c9b64a816fc469b0a
[INFO] running `Command { std: "docker" "start" "-a" "293ec49faa0ee271df6567e0225745e7a7a78e1ebf90131c9b64a816fc469b0a", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling mrs-szs v0.1.9 (/opt/rustwide/workdir/crates/mrs-szs)
[INFO] [stderr]    Compiling winnow v1.0.3
[INFO] [stderr]    Compiling mrs-core v0.1.9 (/opt/rustwide/workdir/crates/mrs-core)
[INFO] [stderr]    Compiling mrs-index v0.1.9 (/opt/rustwide/workdir/crates/mrs-index)
[INFO] [stderr]    Compiling mrs-unify v0.1.9 (/opt/rustwide/workdir/crates/mrs-unify)
[INFO] [stderr]    Compiling mrs-proof v0.1.9 (/opt/rustwide/workdir/crates/mrs-proof)
[INFO] [stderr]    Compiling mrs-cnf v0.1.9 (/opt/rustwide/workdir/crates/mrs-cnf)
[INFO] [stderr]    Compiling mrs-calculus v0.1.9 (/opt/rustwide/workdir/crates/mrs-calculus)
[INFO] [stderr]    Compiling mrs-tptp v0.1.9 (/opt/rustwide/workdir/crates/mrs-tptp)
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling cc v1.2.63
[INFO] [stderr]    Compiling cadical v0.1.16
[INFO] [stderr]    Compiling mrs-search v0.1.9 (/opt/rustwide/workdir/crates/mrs-search)
[INFO] [stderr]    Compiling mrs v0.1.9 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 14s
[INFO] running `Command { std: "docker" "inspect" "293ec49faa0ee271df6567e0225745e7a7a78e1ebf90131c9b64a816fc469b0a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "293ec49faa0ee271df6567e0225745e7a7a78e1ebf90131c9b64a816fc469b0a", kill_on_drop: false }`
[INFO] [stdout] 293ec49faa0ee271df6567e0225745e7a7a78e1ebf90131c9b64a816fc469b0a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e0a7daa56f7d70ee0673f94cbadd85eaa9cffaa7b1522a08278306a4efe2f308
[INFO] running `Command { std: "docker" "start" "-a" "e0a7daa56f7d70ee0673f94cbadd85eaa9cffaa7b1522a08278306a4efe2f308", kill_on_drop: false }`
[INFO] [stderr]    Compiling mrs v0.1.9 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.66s
[INFO] running `Command { std: "docker" "inspect" "e0a7daa56f7d70ee0673f94cbadd85eaa9cffaa7b1522a08278306a4efe2f308", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e0a7daa56f7d70ee0673f94cbadd85eaa9cffaa7b1522a08278306a4efe2f308", kill_on_drop: false }`
[INFO] [stdout] e0a7daa56f7d70ee0673f94cbadd85eaa9cffaa7b1522a08278306a4efe2f308
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 36de8883e4b064176af8a1191f29fd21d2b7897d848369a9eadc60ed696d97a1
[INFO] running `Command { std: "docker" "start" "-a" "36de8883e4b064176af8a1191f29fd21d2b7897d848369a9eadc60ed696d97a1", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s
[INFO] [stderr]      Running unittests src/bin/dump_clauses.rs (/opt/rustwide/target/debug/deps/dump_clauses-47890fceb0a412a4)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test lowering::tests::lower_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_clause ... ok
[INFO] [stdout] test lowering::tests::lower_tff_equality ... ok
[INFO] [stdout] test lowering::tests::lower_equality ... ok
[INFO] [stdout] test lowering::tests::lower_tff_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tff_conjecture ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing_restored ... ok
[INFO] [stdout] test lowering::tests::lower_tff_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_cnf_to_clause_direct ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing ... ok
[INFO] [stdout] test lowering::tests::lower_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_equality_literal ... ok
[INFO] [stdout] test lowering::tests::lower_cnf ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mrs-4b1e771ab7d7e9c3)
[INFO] [stdout] test lowering::tests::lower_tff_typed_variables_ignored ... ok
[INFO] [stdout] test lowering::tests::lower_quantified ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test lowering::tests::lower_cnf ... ok
[INFO] [stdout] test lowering::tests::lower_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_cnf_to_clause_direct ... ok
[INFO] [stdout] test lowering::tests::lower_equality ... ok
[INFO] [stdout] test lowering::tests::lower_quantified ... ok
[INFO] [stdout] test lowering::tests::lower_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_equality_literal ... ok
[INFO] [stdout] test lowering::tests::lower_tff_equality ... ok
[INFO] [stdout] test lowering::tests::lower_tff_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_clause ... ok
[INFO] [stdout] test lowering::tests::lower_tff_typed_variables_ignored ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing_restored ... ok
[INFO] [stdout] test lowering::tests::lower_tff_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tff_conjecture ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/run_pel27.rs (/opt/rustwide/target/debug/deps/run_pel27-bf9caca6481850d7)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/test_syn.rs (/opt/rustwide/target/debug/deps/test_syn-eb2c551ad31567a2)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test lowering::tests::lower_cnf ... ok
[INFO] [stdout] test lowering::tests::lower_cnf_to_clause_direct ... ok
[INFO] [stdout] test lowering::tests::lower_quantified ... ok
[INFO] [stdout] test lowering::tests::lower_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_equality ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_equality_literal ... ok
[INFO] [stdout] test lowering::tests::lower_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_clause ... ok
[INFO] [stdout] test lowering::tests::lower_tff_conjecture ... ok
[INFO] [stdout] test lowering::tests::lower_tcf_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tff_simple_axiom ... ok
[INFO] [stdout] test lowering::tests::lower_tff_equality ... ok
[INFO] [stdout] test lowering::tests::lower_tff_type_declaration_skipped ... ok
[INFO] [stdout] test lowering::tests::lower_tff_typed_variables_ignored ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing_restored ... ok
[INFO] [stdout] test lowering::tests::variable_shadowing ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "36de8883e4b064176af8a1191f29fd21d2b7897d848369a9eadc60ed696d97a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "36de8883e4b064176af8a1191f29fd21d2b7897d848369a9eadc60ed696d97a1", kill_on_drop: false }`
[INFO] [stdout] 36de8883e4b064176af8a1191f29fd21d2b7897d848369a9eadc60ed696d97a1
